Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
331	OpenTheory: Package Management for Higher Order Logic Theories Joe Hurd Galois, Inc. Add to Reading List Source URL: www.gilith.com Language: English - Date: 2009-08-21 07:30:13 Automated theorem proving Logic in computer science Mathematical logic Formal methods Isabelle Proof assistant Mathematical proof Logic for Computable Functions Theorem Theoretical computer science Mathematics Logic
332	[hal, v1] Proof Certi?cation in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:11:41 Logical syntax Logic in computer science Proof theory Mathematical logic Mathematical proof Theorem Formal proof Automated reasoning Logic Mathematics Automated theorem proving
333	Encoding Zenon Modulo in Dedukti Olivier Hermant CRI, MINES ParisTech and Inria May 26, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:30:32 Sequent calculus Mathematics Deduction Geometric group theory Proof theory Logic Automated theorem proving
334	The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations? David Delahaye1 , Catherine Dubois2 , Claude Marché3 , and David Mentré4 (for the BWare project consortium?? ) 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 10:57:11 Formal methods Automated theorem proving Logic in computer science Proof assistant Coq Mathematical proof TPTP KeY Formal verification Theoretical computer science Mathematics Mathematical software
335	Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 04:29:06 Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic Science Mathematics
336	Motivation Identifying Standard Theories Extracting Proofs Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:28:46 Automated theorem proving Logic in computer science Model theory Proof theory Proof assistant Isabelle HOL Logic for Computable Functions Mathematical proof Mathematical logic Theoretical computer science Logic
337	Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:09:54 Formal methods Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Automated theorem proving Solver Mathematical proof Theoretical computer science Mathematics Applied mathematics
338	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Formal methods Automated theorem proving Mathematical logic Constraint programming SPASS Isabelle Satisfiability Modulo Theories Mathematical proof Vampire Theoretical computer science Mathematics Applied mathematics
339	Introduction Articles of Proof Compression Add to Reading List Source URL: www.gilith.com Language: English - Date: 2009-08-21 09:46:49 Automated theorem proving Logic in computer science Mathematical logic Proof assistant Logic for Computable Functions Coq Mathematical proof HOL Light Theorem Mathematics Logic Theoretical computer science
340	Learning proofs from refutations Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Automated theorem proving Formal methods Logic in computer science ACL2 Lisp programming language Mathematical proof Isabelle Coq HOL Theoretical computer science Mathematical software Mathematics

UPDATE